例句與造句

1. An autonomous category that is also symmetric is then a compact closed category.
2. An autonomous category that is also symmetric is called a "'compact closed category " '.
3. The concept of *-autonomous category was introduced by Michael Barr in 1979 in a monograph with that title.
4. A monoidal category where every object has both a left and a right dual is sometimes called an autonomous category.
5. Conversely, if the unit of a *-autonomous category is a dualizing object then there is a canonical family of maps
6. It's difficult to find autonomous category in a sentence. 用autonomous category造句挺難的
7. The concepts of *-autonomous category and autonomous category are directly related, specifically, every autonomous category is *-autonomous.
8. The concepts of *-autonomous category and autonomous category are directly related, specifically, every autonomous category is *-autonomous.
9. The concepts of *-autonomous category and autonomous category are directly related, specifically, every autonomous category is *-autonomous.
10. A monoidal category where every object has both a left and a right dual is called an "'autonomous category " '.
11. A monoidal category where every object has both a left and a right dual is sometimes called an "'autonomous category " '.
12. In the case where the two monoidal products coincide and the distributivities are taken from the associativity isomorphism of the single monoidal structure, one obtains autonomous categories.
13. It is argued that racial / ethnic identity are not separate or autonomous categories and what is called'racial categories'in the United States are actually racialized ethnic categories.
14. Barr defined the notion for the more general situation of " V "-categories, categories enriched in a symmetric monoidal or autonomous category " V ".
15. A *-autonomous category may be described as a linearly distributive category with ( left and right ) negations; such categories have two monoidal products linked with a sort of distributive law.
16. Conversely, categories, distributive categories, finitely cocomplete cartesian closed categories, and finitely cocomplete *-autonomous categories can be considered the respective categorifications of posets, distributive lattices, Heyting algebras, and Boolean algebras.
更多例句：  下一頁